1. A course on mathematical logic
المؤلف: Srivastava, Shashi Mohan
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
2. A first journey through logic /
المؤلف: Martin Hils, François Loeser.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
3. Advanced mathematics :
المؤلف: Stanley J. Farlow.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
4. Advanced mathematics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
5. Bridge to abstract mathematics /
المؤلف: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
6. Discrete and decision
المؤلف: / Ian Bloomfield, John Stevens
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Mathematics -- Textbooks,Logic, Symbolic and mathematical
رده :
510
B655d
7. Formal logic :
المؤلف: Paul Hoyningen-Huene ; translated by Alex Levine
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks
رده :
BC135
.
H6913
2004
8. How to read and do proofs :
المؤلف: Daniel Solow (Department of Operations, Weatherhead School of Management, Case Western Reserve University, Cleveland, OH 44106, e-mail daniel.solow@case.edu, web http://weatherhead.cwru.edu/solow)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
S65
2014
9. How to read and do proofs: an introduction to mathematical thought processes
المؤلف: Solow, Daniel
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
10. Introduction to mathematical proofs :
المؤلف: Charles E. Roberts, Jr.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
11. Logic and discrete mathematics :
المؤلف: Willem Conradie, Valentin Goranko.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
12. Mathematical logic
المؤلف: / George Tourlakis
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
T68
2008
13. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
14. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
15. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
16. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
17. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
18. Mathematical logic
المؤلف: George Tourlakis
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Logic, Symbolic and mathematical, Textbooks
رده :
511
,.
3
,.
T68M
,
2008
19. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع: ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
